Computational foundations of basic recursive function theory
نویسندگان
چکیده
منابع مشابه
Computational Stochastic Control: Basic Foundations, Complexity and Techniques
Much research and education in control systems is purely mathematical, but computational advances in stochastic control problem solving can be used beyond the limits of theoretical mathematics. Theoretical and computational mathematics are complementary. Computation is important where the problem is mathematically intractable, highly dimensional as in stochastic dynamic programming or urgently ...
متن کاملFoundations of a computational theory of catecholamine effects
This report presents the mathematical foundation of a theory of catecholamine effects upon human signal detection abilities. We argue that the performance-enhancing effects of catecholamines are a consequence of improved rejection of internal noise within the brain. To support this claim, we develop a neural network model of signal detection. In this model, the release of a catecholamine is tre...
متن کاملA foundation for real recursive function theory
The class of recursive functions over the reals, denoted by REC(R), was introduced by Cristopher Moore in his seminal paper written in 1995. Since then many subsequent investigations brought new results: the class REC(R) was put in relation with the class of functions generated by the General Purpose Analogue Computer of Claude Shannon; classical digital computation was embedded in several ways...
متن کاملMathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291)
This report documents the program and the outcomes of Dagstuhl Seminar 11271 “Computer Science in Sport Special emphasis: Football”. There were five sessions over the course of three days focusing on separate specific aspects on the relevance, applications and current issues pertaining to computer science in sport. The first session on the first day was about RoboCup – the history, types of gam...
متن کاملCognitive Foundations for a Computational Theory of Mindreading
Mindreading is the ability to understand both oneself and other agents in terms of beliefs, desires, intentions and other relevant mental states. This critically important ability has been implicated across a broad spectrum of human cognitive activities, including participation in dialogue, collaboration, competition, and moral judgment. This paper serves as a reflection on the kinds of strateg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1993
ISSN: 0304-3975
DOI: 10.1016/0304-3975(93)90085-8